Complete Automatic Plating Equipments Controlled by Computer Systems (Part I)

Delta-Complete Reachability Analysis (Part I)

We give a new framework for safety verification of nonlinear hybrid systems, based on deltadecidability of first-order logic formulas over the real numbers. We use expressive logic formulas (which can contain nonlinear ODEs with no analytic solutions) to encode bounded model checking and invariant-based reasoning. Based on the encoding, we solve bounded reachability and invariant validation pro...

PART I Reactive Systems

Computer hardware for radiologists: Part I

Computers are an integral part of modern radiology practice. They are used in different radiology modalities to acquire, process, and postprocess imaging data. They have had a dramatic influence on contemporary radiology practice. Their impact has extended further with the emergence of Digital Imaging and Communications in Medicine (DICOM), Picture Archiving and Communication System (PACS), Rad...

Sticker DNA computer model ——Part I: Theory

Sticker model is one of the basic models in the DNA computer models. This model is coded with single-double stranded DNA molecules. It has the following advantages that the operations require no strands extension and use no enzymes; What’s more, the materials are reusable. Therefore it arouses attention and interest of scientists in many fields. In this paper, we will systematically analyze the...

Computer Assisted Education Part I: Welcome and Computer Fundamentals

I. Introductory Remarks. Charles S. Tidball II. Hardware from a User’s Point of View. R. J. Seidel III. Operating Systems and Computer Languages for Education Applications. Charles S. Tidball IV. Strategies, Potentials, and Problems of Computerized Assisted Instruction. G. Otto Barnett V. The Lister Hill Experimental CA1 Network A Progress Report. Harold Wooster VI. Panel Discussion with Audien...